Math 120, Section 3.1, Statements And Logical Connectives, Examples